机译:更正为“动态Gr?bner基地” [J.代数301(2)(2006)447-458]和“戴德金环上方的动态Gr?bner基座” [J.代数324(1)(2010)12-24]
机译:Gr?bner Bases:可交换代数的计算方法Gr?bner Bases简介
机译:针对线性密码分析的分组密码可证明的安全性:不可能完成的任务—线性密码分析中实用安全性方法和关键等效假设的实验评论
机译:关于XL和GROEBNER基础相关代数隐密码分析的渐近安全估计
机译:使用代数和格方法进行公钥密码分析。
机译:无渐近的Colombeau代数
机译:解决估算块CIPHERS岩浆安全性的布尔满足性问题,并呈现给代数密码分析